Skip to main content

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

Item Preview

SIMILAR ITEMS (based on metadata)
Arxiv.org
by Umberto Rivieccio
texts
eye 27
favorite 0
comment 0
Source: http://arxiv.org/abs/1010.2552v1
Arxiv.org
by Russell Miller; Alexandra Shlapentokh
texts
eye 55
favorite 0
comment 0
Source: http://arxiv.org/abs/1111.1205v1
Arxiv.org
by András Bátkai; Petra Csomós; Bálint Farkas; Gregor Nickel
texts
eye 37
favorite 0
comment 0
Source: http://arxiv.org/abs/1103.0316v1
Arxiv.org
by Dov Gabbay; Karl Schlechta
texts
eye 272
favorite 0
comment 0
Source: http://arxiv.org/abs/1005.5242v4
Arxiv.org
by Helge Holden; Christian Lubich; Nils Henrik Risebro
texts
eye 78
favorite 0
comment 0
Source: http://arxiv.org/abs/1102.4218v1
Arxiv.org
by Luigi Santocanale; Yde Venema
texts
eye 26
favorite 0
comment 0
Source: http://arxiv.org/abs/0812.2390v1
Arxiv.org
by M. Denecker; V. Marek; M. Truszczynski
texts
eye 34
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/9901003v1
Arxiv.org
by Helge Holden; Kenneth H. Karlsen; Nils Henrik Risebro; Terence Tao
texts
eye 41
favorite 0
comment 0
Source: http://arxiv.org/abs/0906.4902v1
Arxiv.org
by Daniel Lehmann
texts
eye 56
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0202018v2
Arxiv.org
by András Bátkai; Petra Csomós; Bálint Farkas
texts
eye 24
favorite 0
comment 0
Source: http://arxiv.org/abs/1009.1981v3